digraph A1 {
	s1->s2 [LABEL="a"]
	s1->s2 [LABEL="b"]
	s2->s1 [LABEL="a"]
	[initial={s1}]
	[final={s1,s2}]
}
	
